A Complicated Ω-stable Depth 2 Theory
نویسنده
چکیده
We present a countable complete first order theory T which is model theoretically very well behaved: it eliminates quantifiers, is ω-stable, it has NDOP and is shallow of depth two. On the other hand, there is no countable bound on the Scott heights of its countable models, which implies that the isomorphism relation for countable models is not Borel.
منابع مشابه
A New Notion of Cardinality for Countable First Order Theories
We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Φ|| for sentences Φ of Lω1,ω, which counts the number of sentences of L∞,ω that, in some forcing extension, become a canonical Scott sentence of a model of Φ. We show this card...
متن کاملBorel Complexity and Potential Canonical Scott Sentences
We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Φ|| for sentences Φ of Lω1,ω, which counts the number of sentences of L∞,ω that, in some forcing extension, become a canonical Scott sentence of a model of Φ. We show this card...
متن کاملA Hall Theorem for Ω-stable Groups
A theorem of Hall extends the sylow theory to π-subgroups of a finite solvable group for any set of primes π. This theorem has been generalized to solvable periodic linear groups [21] and to other similar settings [19]. We consider the same problem in a model-theoretic context. In model theory, the study of ω-stable groups generalizes the classical theory of algebraic groups in the case of a al...
متن کاملAdding linear orders
We address the following question: Can we expand an NIP theory by adding a linear order such that the expansion is still NIP? Easily, if acl(A)=A for all A, then this is true. Otherwise, we give counterexamples. More precisely, there is a totally categorical theory for which every expansion by a linear order has IP. There is also an ω-stable NDOP theory for which every expansion by a linear ord...
متن کامل3-D recursive extrapolation operators: an overview
with ∆z being a small extrapolation step. The advantage of computation in the kx, ky-ω domain is that the desired result is obtained by multiplication of the data with the operator. However, to allow laterally varying medium functions a space variant convolution operator in the x, y-ω (space-frequency) domain should be applied. When the spatial extrapolation operator is used in an explicit recu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010